graph theory:abstract graph